(0 15 3)(1 20 8)(2 18 6)(4 16 5)(7 11 9)(10 14 12)(13 19 17)
ALLOWS (11/8)-SEQUENCE
1: (8 10 20)
(0 15 3)(1 20 14 12 10)(2 18 6)(4 16 5)(7 11 9)(8)(13 19 17)
2: (7 11 9)
(0 15 3)(1 20 14 12 10)(2 18 6)(4 16 5)(7)(8)(9)(11)(13 19 17)
3: (1 12 10)
(0 15 3)(1)(2 18 6)(4 16 5)(7)(8)(9)(10)(11)(12 20 14)(13 19 17)
4: (0 15 3)
(0)(1)(2 18 6)(3)(4 16 5)(7)(8)(9)(10)(11)(12 20 14)(13 19 17)(15)